Previous | 
Home
Section: Partnerships and Cooperations
International Initiatives
Inria Associate Teams
REAL
-
International Partner (Institution - Laboratory - Researcher):
-
See also: http://real.gforge.inria.fr
-
The scientific goals of this collaboration are twofold. On the one hand, we plan to develop a theory to reason about aspect interference in general, i.e. covering both base/aspect and aspect/aspect composition and, more precisely, to reason about effects that can be used by aspects. This provides foundations for secure aspects. On the other hand, we plan to study how secure aspects can help construct security aspects, i.e. aspects ensuring security policies. Our case study is web applications built with web scripting languages such as JavaScript.
Inria International Partners
Informal International Partners
ASCOLA is closely cooperating with several other international partners:
-
AIST, Japan; Dr. Takahiro Hirofuchi. This year we have started a cooperation on the simulation of Cloud infrastructures and new scheduling algorithms for virtual environments 6.3 . Dr. Takahiro Hirofuchi has visited the team in 2013 in the context of this collaboration.
-
Soft team, VU Brussel, Belgium; Prof. Wolfgang De Meuter. In the context of a joint PhD thesis that started in Dec. 2013, we are working on new means for the declarative definition and efficient implementation of event-based systems.
-
Software Technology Group, TU Darmstadt, Germany; Prof. Mira Mezini. In the context of a joint PhD thesis we are working on a common model for object-oriented programming, event-based programming and aspect-oriented programming, see 6.2 .